Towards interval techniques for model validation
نویسندگان
چکیده
منابع مشابه
Towards Model Validation and Verification with SAT Techniques
After sketching how system development and the UML (Unified Modeling Language) and the OCL (Object Constraint Language) are related, validation and verification with the tool USE (UML-based Specification Environment) is demonstrated. As a more efficient alternative for verification tasks, two approaches using SAT-based techniques are put forward: First, a direct encoding of UML and OCL with Boo...
متن کاملSymbolic Model Checking Using Interval Diagram Techniques
In this report, a representation of multi-valued functions called interval decision diagrams (IDDs) is introduced. It is related to similar representations as binary decision diagrams. Compared to other model checking strategies, IDDs show some important properties that enable us to verify especially Petri nets, process networks, and related models of computation more adequately than with conve...
متن کاملvalidation of a musculoskeletal model of lifting and its application for biomechanical evaluation of lifting techniques
background : lifting methods, including standing stance and techniques have wide effects on spine loading and stability. previous studies explored lifting techniques in many biomechanical terms and documented changes in muscular and postural response of body as a function of techniques .however, the impact of standing stance and lifting technique on human musculoskeletal had not been investigat...
متن کاملTechniques for Empirical Validation
In 1998 a survey was published on the extent to which software engineering papers validate the claims made in those papers. The survey looked at publications in 1985, 1990 and 1995. This current paper updates that survey with data from 2000 and 2005. The basic conclusion is that the situation is improving. One earlier complaint that access to data repositories was difficult is becoming less pre...
متن کاملTowards Evaluating Size Reduction Techniques for Software Model Checking
Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to a formal model and attempting to prove certain properties of the model (e.g. that no erroneous state can occur during execution). Unfortunately, transformations from source code to a formal model often yield large an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computing
سال: 2011
ISSN: 0010-485X,1436-5057
DOI: 10.1007/s00607-011-0166-8